[[Field extension]]
# Finite extension

A [[field extension]] $L:K$ is **finite** iff it has finite [[Field extension|degree]], #m/def/field 
i.e. $L$ is a finite-dimensional vector space over $K$.
In particular such an extension is [[Algebraic element|algebraic]].
#
---
#state/tidy | #lang/en | #SemBr